单词universal quantifier
网络: 全称量词；全称范域词；有一个全称量词
Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.
任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。
Universal Quantifier in Event Quantification
事件量化中的全称量词
A Query of Universal Quantifier Problem in SQL
SQL语言中具有全称量词的查询问题